Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
541	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
542	Notes for formal methods seminar Part I. Logic Richard Pettigrew Department of Philosophy University of Bristol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Propositional calculus Model theory Logical syntax Formal languages Interpretation Well-formed formula First-order logic Function Logical connective Logic Mathematical logic Mathematics
543	•• ZEITSCHRIFT FUR PHILOS Nr.17 Add to Reading List Source URL: www.kriterion.at Language: English - Date: 2012-05-24 02:56:23 Logical syntax Propositional calculus Logicians Philosophy of language Rudolf Carnap Atomic sentence Meaning Modal logic Truth Logic Philosophy Philosophical logic
544	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic
545	PDF Document Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:47 Logical syntax Propositional calculus Philosophy of mathematics Paradoxes Liar paradox Entailment Truth Function Proposition Logic Philosophy Philosophical logic
546	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Proof theory Propositional calculus Philosophical logic Model theory Soundness Linear logic Sequent calculus Deductive reasoning Entailment Logic Mathematical logic Deduction
547	Information Processing ELSEVIER Letters Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:39:22 Propositional calculus Rules of inference Automated theorem proving Boolean algebra Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematical logic Mathematics
548	Forthcoming in Mind, perhaps with a reply from David Chalmers The Objects of Belief and Credence DAVID BRAUN University at Buffalo [removed] Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2014-05-11 11:30:09 Science Philosophy of language Mathematical logic Mental content Proposition Statements Negation Bayesian probability Logic Propositional calculus Linguistics
549	Semantic Paradoxes and Abductive Methodology (draft of paper to appear in Brad Armour-Garb, ed., The Relevance of the Liar, Oxford: Oxford University Press) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 06:49:28 Propositional calculus Mathematical logic Predicate logic Entailment Logical truth Interpretation First-order logic Non-logical symbol Truth Logic Philosophical logic Logical syntax
550	Putting time into proof outlines Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:03:46 Model theory Propositional calculus Predicate logic Logic in computer science First-order logic Predicate Assertion Entailment Axiom Logic Mathematics Mathematical logic

UPDATE